Philosophie Lexikon der ArgumenteHome | |||
| |||
Lambda-Abstraktion: Die Lambda-Abstraktion ist eine Möglichkeit, Funktionen zu definieren, ohne einen Funktionsnamen zu verwenden. Sie ist ein Schlüsselkonzept in der funktionalen Programmierung. Siehe auch Lambda-Kalkül._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Arnim von Stechow über Lambda-Abstraktion – Lexikon der Argumente
I 48 Lambda-Notation: [λx : f . g]. - Bsp wenn g ein Satz ist: "Die Funktion f, sodass für jedes x, das f erfüllt f(x) = 1, falls g wahr ist, 0 falls g falsch ist". I 161 Lambda-Abstraktion: liefert den Werteverlauf einer Funktion. Lambda-gebundene Variablen: haben keine Referenz. Die Variable im Lambda-Operator ist weder frei noch gebunden. >Lambda-Kalkül, >Variablen, >Gebundene Variable, >Freie Variable, >Referenz, >Operatoren, >Funktionen, >Werteverlauf._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
A. von Stechow I Arnim von Stechow Schritte zur Satzsemantik www.sfs.uniï·"tuebingen.de/~astechow/Aufsaetze/Schritte.pdf (26.06.2006) |